relational operator in prolog